Knihy od autora Zhaohui Luo

Zobrazeno 1 – 5 z 5 výsledků

1. 

   Computation and Reasoning

   Zhaohui Luo | Oxford University Press, 1994

   
   

   Skladem u dodavatele - Odesíláme za 10-18 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2036 Kč

   Koupit
2. 

   Modern Perspectives in Type-Theoretical Semantics

   Stergios Chatzikyriakidis, Zhaohui Luo | Springer International Publishing AG, 2018

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   2592 Kč

   Koupit
3. 

   Formal Semantics in Modern Type Theories

   Stergios Chatzikyriakidis, Zhaohui Luo | ISTE Ltd, 2021

   
   

   Skladem u dodavatele - Odesíláme za 14-20 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   3941 Kč

   Koupit
4. 

   Types for Proofs and Programs

   Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2002

   
   

   Skladem u dodavatele - Odesíláme za 5-8 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1182 Kč

   Koupit
5. 

   Modern Perspectives in Type-Theoretical Semantics

   Stergios Chatzikyriakidis, Zhaohui Luo | Springer International Publishing AG, 2017

   
   

   Skladem u dodavatele - Odesíláme za 10-13 dnů

   Jazyk: Angličtina

   Vazba: Pevná

   2592 Kč

   Koupit

Knihy si můžete vyzvednout na mnoha místech po celé ČR. Zjistěte více